Polynomial Complexity for Hilbert Series of Borel Type Ideals
نویسنده
چکیده
In this paper, it is shown that the Hilbert series of a Borel type ideal may be computed within a complexity which is polynomial in Dn where n + 1 is the number of unknowns and D is the highest degree of a minimal generator of input (monomial) ideal.
منابع مشابه
Strongly stable ideals and Hilbert polynomials
Strongly stable ideals are a key tool in commutative algebra and algebraic geometry. These ideals have nice combinatorial properties that makes them well suited for both theoretical and computational applications. In the case of polynomial rings with coefficients in a field with characteristic zero, the notion of strongly stable ideals coincides with the notion of Borel-fixed ideals. Ideals of ...
متن کاملSegments and Hilbert schemes of points
Using results obtained from a study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to a degreverse term order (as, for example, the degrevlex order) in the Hilbert scheme of points in Pn. In this context, we look into the properties of several types of ‘‘segment’’ ideals th...
متن کاملComputable Hilbert Schemes
In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In ...
متن کاملCastelnuovo-Mumford regularity of products of monomial ideals
Let $R=k[x_1,x_2,cdots, x_N]$ be a polynomial ring over a field $k$. We prove that for any positive integers $m, n$, $text{reg}(I^mJ^nK)leq mtext{reg}(I)+ntext{reg}(J)+text{reg}(K)$ if $I, J, Ksubseteq R$ are three monomial complete intersections ($I$, $J$, $K$ are not necessarily proper ideals of the polynomial ring $R$), and $I, J$ are of the form $(x_{i_1}^{a_1}, x_{i_2}^{a_2}, cdots, x_{i_l...
متن کاملIntersections of Sequences of Ideals Generated by Polynomials
We present a method for determining the reduced Grobner basis with respect to a given admissible term order of order type ! of the intersection ideal of an in nite sequence of polynomial ideals. As an application we discuss the Lagrange type interpolation on algebraic sets and the \approximation" of the ideal I of an algebraic set by zero dimensional ideals, whose a ne Hilbert functions conver...
متن کامل